81. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
82. Automated Testing and Debugging for Big Data Analytics
پدیدآورنده : Gulzar, Muhammad Ali
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science
83. Automated Testing and Debugging for Big Data Analytics
پدیدآورنده : Gulzar, Muhammad Ali
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science
84. Automated composition of sequence diagrams
پدیدآورنده : Alwanain, Mohammed Ibrahim
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : QA76 Computer software
85. Automating Instructional Design:
پدیدآورنده : edited by Robert D. Tennyson, Ann E. Barron.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Educational technology.,Software engineering.
86. Automating Instructional Design, Development, and Delivery
پدیدآورنده : edited by Robert D. Tennyson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
LB1028
.
38
E358
1994
87. Automotive Simulation '91 :
پدیدآورنده : edited by Moshe R. Heller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer input-output equipment.,Computer simulation.,Engineering.
89. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
90. Batch Processing Systems Engineering :
پدیدآورنده : edited by Ginraras V. Reklaitis, Aydin K. Sunol, David W.T. Rippin, Öner Hortaçsu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Chemical engineering.,Computer science.
رده :
TP155
.
75
E358
1996
91. Bringing Telecommunication Services to the People - IS&N '95 :
پدیدآورنده : edited by Anne Clarke, Mario Campolargo, Nikos Karatzas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer input-output equipment.,Computer networks.,Engineering.
92. CAD/CAM Robotics and Factories of the Future '90 :
پدیدآورنده : edited by Suren N. Dwivedi, Alok K. Verma, John E. Sneckenberger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering economy.,Engineering.
93. CAD/CAM in Practice :
پدیدآورنده : by A.J. Medland, Piers Burnett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Physical Sciences & Mathematics.,Science (General),Sciences - General.
رده :
TS155
.
6
B935
1986
94. CAM :
پدیدآورنده : edited by D. Kochan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer graphics.,Computer science.,Computer-aided design.
رده :
TS155
.
6
E358
1985
95. CARS 2002 Computer Assisted Radiology and Surgery :
پدیدآورنده : edited by Heinz U. Lemke, Kiyonari Inamura, Kunio Doi, Michael W. Vannier, Allan G. Farman, Johan H.C. Reiber.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Medical radiology.,Medicine.,Nuclear medicine.
رده :
RD29
.
7
E358
2002
96. CAST Methods in Modelling :
پدیدآورنده : edited by Franz Pichler, Heinz Schwärtzel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer-aided design.,Engineering mathematics.
رده :
TA168
.
E358
1992
97. COTS-Based Software Systems :
پدیدآورنده : edited by Xavier Franch, Daniel Port.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information systems.,Software engineering.
رده :
QA76
.
9
.
M3
E358
2005
98. Cell Culture Engineering IV Improvements of Human Health.
پدیدآورنده : Buckland, B.C.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
TP248
.
25
.
C44
B835
2013
99. Co-design for system acceleration :
پدیدآورنده : Nadia Nedjah, Luiza de Macedo Mourelle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer interfaces.,Memory management (Computer science),System design.,Computer interfaces.,COMPUTERS-- Software Development & Engineering-- Systems Analysis & Design.,Hardware.,Ingénierie.,Interfaces.,Memory management (Computer science),Parallelle verwerking.,Programmatuurtechniek.,System design.
رده :
QA76
.
9
.
S88
N43
2007eb
100. Cognitive Informatics and Soft Computing :
پدیدآورنده : Pradeep Kumar Mallick, Valentina Emilia Balas, Akash Kumar Bhoi, Ahmed F. Zobaa, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Soft computing, Congresses.,Computational intelligence.,COMPUTERS-- General.,Soft computing.
رده :
Q342
